.comment a.user:hover, .comment .user.hoverlink {
  font-weight: bold;
}
